// Empty file
// A change made locally
// A change pushed to the server

int main() {
    printf("%s\n", "Hello!");
}
